System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
301	Literate Programming in C The CWEB System of Structured Software Documentation Manual for CWEBx3.0 Marc A. A. van Leeuwen 1 Overview Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:13:29 Literate programming Macro programming languages Programming language implementation Computer programming CWEB WEB TeX Comment Donald Knuth Computing Software engineering Software
302	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
303	Why PBD systems fail: Lessons learned for usable AI Tessa Lau Abstract Add to Reading List Source URL: tlau.org Language: English - Date: 2008-01-23 13:22:58 User interfaces Technical communication Usability Programming by demonstration Scripting language Expect Machine learning Recommender system User Programming paradigms Computing Human–computer interaction
304	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
305	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
306	EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH The F Programming Language Ralph Frisbie Ventura College, Ventura, CA Richard Hendrickson Add to Reading List Source URL: www.fortran.com Language: English - Date: 2002-08-03 20:57:50 Data types Type theory Procedural programming languages Array data type Type system C Array programming New Strong typing Software engineering Computing Computer programming
307	PDF Document Add to Reading List Source URL: atomicobject.com Language: English - Date: 2015-02-15 22:53:28 Science Integration testing Unit testing Programming paradigm Software development process Programming language System testing White-box testing Decomposition Software testing Software engineering Software development
308	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Computing Data types Object-oriented programming Procedural programming languages Functional languages Subtype polymorphism ALGOL 68 Type system Polymorphism Software engineering Programming language theory Type theory
309	PDF Document Add to Reading List Source URL: www.jidesoft.com Language: English - Date: 2012-09-28 16:54:01 Computing platforms Widget toolkits Java programming language Software design patterns Model–view–controller GNOME Swing Mac OS X X Window System Computing Software Java platform
310	PDF Document Add to Reading List Source URL: nyphp.org Language: English - Date: 2015-05-24 06:10:37 Web application frameworks Cross-platform software Mac OS X PEAR Package management system PhpBB Debian Application bundle Package Software Computing PHP programming language

UPDATE